\documentclass[10pt,a4paper]{article}

%----------------------------------------------------------------------
% Include the METR.sty file 
\usepackage{GRACE-TR}

% Fill in the following cover-page information correctly
\GRACETRtitle{Runtime Architectural Model based on Bidirectional Transformation}
\GRACETRauthor{H. Song\quad Y. Xiong \quad Z. Hu \quad G. Huang \quad H. Mei}
\GRACETRdate{Nov. 2008}
\GRACETRid{GRACE-TR-2008--**}

\usepackage{color}
\usepackage[dvips]{graphicx}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{xspace}

\input{syntax_macro}

% command for modification
\def\modify#1#2#3{{\underline{\sf{#1}}:} {\color{blue}{#2}} {\color{green}{\mbox{$\Rightarrow$}}} {\color{red}{#3}}}

\def\hidaka#1#2{\modify{hidaka}{#1}{#2}}
\def\hu#1#2{\modify{hu}{#1}{#2}}
\def\kato#1#2{\modify{kato}{#1}{#2}}
\def\nakano#1#2{\modify{nakano}{#1}{#2}}
%%\def\modify#1#2#3{{}}
\def\unqlx{\mbox{UnQL$^+$}\xspace}

\begin{document}
% Generate the METR cover
\GRACETRmakecover 

\title{Runtime Architectural Model based on Bidirectional Transformation} 

\author{Hui Song\dag \quad Yingfei Xiong\dag \quad Zhenjiang Hu\dag \quad Gang Huang\dag \quad Hong Mei\ddag
  \\[6pt]
  \dag National Institute of Informatics\\
  \texttt{\{hidaka,hu,kato\}@nii.ac.jp}\\[6pt]
  \ddag The University of Electro-Communications\\
  \texttt{ksk@cs.uec.ac.jp}} 
\date{August 2008}


\maketitle

\begin{abstract}


\end{abstract}

\input{introduction}


%\bibliographystyle{plain}
%\bibliography{reference}

%\newpage
%\section*{Appendix}
%\appendix
%\input{unql_syntax}
%\input{desugar_detail}
%\input{uncal_semantics}
\end{document}
